-
1 верификация программного кода
Chemical weapons: computer code verificationУниверсальный русско-английский словарь > верификация программного кода
-
2 верификация (проверка)
верификация (проверка)
1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы computer system verification Процесс, имеющий целью обеспечить, чтобы данный этап в жизненном цикле системы удовлетворял требованиям, введенным на предыдущем этапе. верификация модели model verification Процесс, имеющий целью определить, правильно ли отображает данная вычислительная модель искомую концептуальную модель или математическую модель. Верификация системного кода system code verification Анализ кодирования источника на предмет его соответствия описанию в документации системного кода. 2. Подтверждение на основе объективных свидетельств того, что установленные требования были выполнены. См. валидация (аттестация). Соответствующий статус – ‘верифицировано’. Верификация может включать такие операции, как: осуществление альтернативных расчетов; сравнение научной и технической документации по новому проекту с аналогичной документацией по апробированному проекту; проведение испытаний и демонстраций; и анализ документов до их выпуска.
[Глоссарий МАГАТЭ по вопросам безопасности]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (проверка)
См. также в других словарях:
Computer-aided software engineering — Example of a CASE tool. Computer aided software engineering (CASE) is the scientific application of a set of tools and methods to a software system which is meant to result in high quality, defect free, and maintainable software products.[1] It… … Wikipedia
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
Code coverage — is a measure used in software testing. It describes the degree to which the source code of a program has been tested. It is a form of testing that inspects the code directly and is therefore a form of white box testing.[1] Code coverage was among … Wikipedia
Computer vision — is the field concerned with automated imaging and automated computer based processing of images to extract and interpret information. It is the science and technology of machines that see. Here see means the machine is able to extract information … Wikipedia
Computer simulation — This article is about computer model within a scientific context. For artistic usage, see 3d modeling. For simulating a computer on a computer, see emulator. A 48 hour computer simulation of Typhoon Mawar using the Weather Research and… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Code refactoring — Refactor redirects here. For the use of refactor on Wikipedia, see Wikipedia:Refactoring talk pages. Code refactoring is disciplined technique for restructuring an existing body of code, altering its internal structure without changing its… … Wikipedia
Computer security — This article is about computer security through design and engineering. For computer security exploits and defenses, see computer insecurity. Computer security Secure operating systems Security architecture Security by design Secure coding … Wikipedia
Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities … Wikipedia
Computer-aided engineering — Nonlinear static analysis of a 3D structure subjected to plastic deformations Computer aided engineering (CAE) is the broad usage of computer software to aid in engineering tasks.[1][2] … Wikipedia
Trusted Computer System Evaluation Criteria — (TCSEC) is a United States Government Department of Defense (DoD) standard that sets basic requirements for assessing the effectiveness of computer security controls built into a computer system. The TCSEC was used to evaluate, classify and… … Wikipedia
